Can you count on your computer? inspired from Nick Higham, Jean-Michel Muller, Siegfried Rump, Arnaud Tisserand and many others NSV-3, 15 July 2010

Source URL: www.lix.polytechnique.fr

• Mathematics
• Computer arithmetic
• Arithmetic
• Elementary arithmetic
• Binary arithmetic
• Higham
• Significant figures
• Rounding
• Addition
• Binary number

James Caldwell Department of Computer Science University of Wyoming Laramie, WYDATE: October 31, 2016

Source URL: www.cs.uwyo.edu

• Automated theorem proving
• Theoretical computer science
• Computing
• Mathematics
• Nuprl
• Interactive Theorem Proving
• Proof assistant
• Robert Lee Constable
• ACL2
• Formal methods
• Computer science
• Automated reasoning

TimeMachine: Timeline Generation for Knowledge-Base Entities Tim Althoff*, Xin Luna Dong† , Kevin Murphy† , Safa Alai† , Van Dang† , Wei Zhang† *Computer Science Department, Stanford University, Stanford, CA 94

Source URL: www.timalthoff.com

A preliminary version of this paper appears in Advances in Cryptology – CRYPTO ’06, Lecture Notes in Computer Science Vol. 4117 , C. Dwork ed., Springer-Verlag, 2006. This is the full version. New Proofs for NMAC and

Source URL: cseweb.ucsd.edu

• Cryptography
• Hashing
• Pseudorandomness
• HMAC
• Pseudorandom function family
• Cryptographic hash function
• Hash function
• Oracle machine
• Block cipher

On Frequency LTL in Probabilistic Systems Vojtěch Forejt1 and Jan Krčál2 1 2 Department of Computer Science, University of Oxford, UK

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Model checking
• Finite automata
• Linear temporal logic
• Mathematical logic
• Formal languages
• Mathematics
• Bchi automaton
• Omega language
• Markov decision process
• Computation tree logic

Timothy Alden Davis Department Computer Science and Engineering Texas A&M University 3112 TAMU, College Station, Texasemail: web: http://faculty.cse.tamu.edu/davis

Source URL: faculty.cse.tamu.edu

Dilian Gurov’s CV Professional preparation   PhD in Computer Science, 1998, Dept. of Computer Science, University of Victoria, Canada.

Source URL: www.nada.kth.se

• Software testing
• Software verification
• KTH Royal Institute of Technology
• Computer science
• Verification
• Electromagnetism
• Engineering

LeadWise: Using Online Bots to Recruit and Guide Expert Volunteers Claudia Flores-Saviaga Computer Engineering, Universidad Nacional Autonomade Mexico (UNAM)

Source URL: nitens.org

• Digital media
• Computing
• Software
• Bots
• Social information processing
• Wikimedia projects
• Social networking services
• Twitter bot
• Wikipedia
• Internet bot
• Twitter
• Video game bot

Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Source URL: formal.iti.kit.edu

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Complexity classes
• Mathematical optimization
• Boolean algebra
• NP-complete problems
• Boolean satisfiability problem
• 2-satisfiability
• Horn-satisfiability
• P versus NP problem
• Exponential time hypothesis

One-shot learning by inverting a compositional causal process Ruslan Salakhutdinov Dept. of Statistics and Computer Science University of Toronto

Source URL: cims.nyu.edu

• One-shot learning
• Artificial neural network
• Bayesian inference
• Outline of machine learning
• Statistics
• Probability and statistics
• Applied mathematics